temporal constraint中文是什么意思

發(fā)音:

中文翻譯
造句

時態(tài)約束

constraint n. 1.強迫，拘束。 2.約束，壓抑，拘泥。 3.強制力。 4.緊張感[狀態(tài)]。 by constraint 勉強，強迫。 feel constraint覺得局促不安，感受壓迫。 show constraint顯得局促。 under [in] constraint 被迫，不得不；被束縛著。
temporal adj. 1.暫時的，一時的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此世的，現(xiàn)世的；世俗的(opp. spiritual)。 3.時的，時間的 (opp. spatial) 【語法】表示時間的，時態(tài)的。 n. 1.一時的事物；俗事。世事。 2.世俗的權(quán)力〔多指教會的財產(chǎn)和收入〕。 a temporal death 假死。 temporal aims 世俗的目標。 temporal conjunctions 時間連接詞(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧職的上院議員。 adv. -ly n. 太陽穴，顳部；顳骨[肌，動脈等]。 adj. 顳的。 the temporal bone 顳骨。
budget constraint and time constraint 預(yù)算約束與時間約束
constraint, project constraint 約束條件對項目的約束
temporal convolution; temporal gyrus 顳回
temporal ridge; temporal line 顳脊
temporal sulcus of temporal bone 顳骨顳溝
acceleration constraint 加速限制
access constraint 存取約束
accuracy constraint 精度約束
active constraint 活動約束; 起作用的約束; 有效約束
addition of constraint 約束相加
additional constraint 附加約束
agent constraint 施事制約
amplitude constraint 幅度限制
artificial constraint 人工約束
attachment constraint (附件約束)可將某物體作為附件以相對位置綁定在其他物體表面上并隨其他物體變化。; 附加約束控制器; 連接約束
axial constraint 軸向約束
axiom of constraint 約束公理
bandwidth constraint 帶寬限制; 帶寬制約
bilateral constraint 雙邊約束; 雙側(cè)約束; 雙向約束
blending constraint 融合約束條件
boundary constraint 邊壁約束; 邊界約束
brightness constraint 亮度限制
budget constraint 預(yù)算限制; 預(yù)算約束

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

A temporal constraint-based nonlinear planner
：時序限制式非線性規(guī)劃器
And further, the model adds temporal constraint in permissions inheritance, i . e . only the permissions owned by the role that meets time requirement can be inherited
另外，該模型在權(quán)限的繼承中也加入了時間約束，使得只有滿足時間條件要求的角色的權(quán)限才可以被繼承。
As a result of integrating planning and scheduling, msspmf is ableto describe resource and temporal constraints, and to provide the description of state, and tosupporttheautogeneratingofactivitiesset
msspmf結(jié)合了規(guī)劃和調(diào)度兩方面的特點,能有效的描述資源和時態(tài)約束,并提供了系統(tǒng)狀態(tài)的描述機制,支持活動集的自動生成。
Modeling the control flow, temporal constraints and data flow of workflow based on uml statecharts respectively, and then verifying the correctness of them by formal method is the main contribution in this paper
由于工作流模型驗證的重要性和必要性,本文基于uml狀態(tài)圖分別建立單個工作流的控制結(jié)構(gòu)、時序約束和數(shù)據(jù)流模型,并應(yīng)用形式化方法驗證模型正確性。
Compared to the relational database systems, the rtdbs have three distinguishing features : the requirement of temporal constraints on data, the requirement of timing constraints on transactions, and the requirement that certain executions exhibit predictable timing behavior
與傳統(tǒng)關(guān)系數(shù)據(jù)庫相比，實時數(shù)據(jù)庫具有三個特征:數(shù)據(jù)的時態(tài)一致性、事務(wù)的時態(tài)一致性、實時事務(wù)執(zhí)行時必須具有可預(yù)測性。
Last, the temporal constraints are verified by alur ’ s model checking algorithm . this paper also verify the correctness of the data flow of the workflow . the data flow objects are added into the uml statecharts, and the semantic of data flow is
驗證數(shù)據(jù)流正確性的過程中,在uml狀態(tài)圖中加入了數(shù)據(jù)流對象,定義了uml狀態(tài)圖的數(shù)據(jù)流語義,根據(jù)該語義給出了從uml狀態(tài)圖到全局狀態(tài)可達圖的轉(zhuǎn)化算法,提出了驗證數(shù)據(jù)流正確性的算法。
The software system of smart spaces distinguishs ifself from traditional distributed systems in that : 1 ) they should deliver functionality in our everyday world, which is a complex and dynamic changing environment; 2 ) the system will consist of many wireless networked devices, while wireless connection is prone to transient failure; 3 ) the interaction points for the people are distributed and multimodal, which imposes tight temporal constraints on the messaging between related modules; 4 ) modules coming from diversified domains need to cooperate, which raise the need for an abstraction model at a proper level for the construction of the system
智能空間系統(tǒng)具有區(qū)別于傳統(tǒng)分布式系統(tǒng)的新特征：1）背景環(huán)境是復(fù)雜、動態(tài)的物理空間，新的模塊可能隨時進入和離開；2）存在大量無線聯(lián)網(wǎng)設(shè)備，而無線網(wǎng)的一個典型特征是暫時性故障頻繁；3）系統(tǒng)的交互點是分布和多模態(tài)的，相關(guān)的模塊間消息的時間關(guān)系要求嚴格；4）各種不同應(yīng)用領(lǐng)域的模塊都可能需要交互協(xié)作，同時需要考慮對遺留代碼的包容性。
Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic-related are given . at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time, instantiation time and run-time are defined respectively
在驗證工作流時序約束一致性方面,在uml狀態(tài)圖中加入了時間事件,給出了將擴展后的uml狀態(tài)圖轉(zhuǎn)化為時間自動機的規(guī)則,用時間計算樹邏輯定義了兩個任務(wù)間的最大、最小時間間隔(上、下界約束)和工作流的最終期限約束,并給出了這三類約束分別在創(chuàng)建階段、實例化階段和運行階段的一致性定義,通過alur的算法對時序約束一致性進行驗證。
The rtsql includes extensions that specify : temporal constraints on data, timing constraints on execution, bounds on use of system resources for predictability, and flexible transaction structure that relaxes traditional acid transaction properties to better support real-time requirements . a framework for the implementation of rtsql is provided in this paper
對sql92的擴展主要體現(xiàn)在:數(shù)據(jù)時態(tài)一致性約束的表達和檢測，事務(wù)執(zhí)行時態(tài)一致性約束的表達和檢測，為提高事務(wù)執(zhí)行的可預(yù)測性而對其使用的系統(tǒng)資源進行限制性說明，以及為了更好適應(yīng)實時要求而提供靈活acid特性的事務(wù)結(jié)構(gòu)說明。

推薦英語閱讀

temporal constraint的中文翻譯，temporal constraint是什么意思，怎么用漢語翻譯temporal constraint，temporal constraint的中文意思，temporal constraint的中文，temporal constraint in Chinese，temporal constraint的中文，temporal constraint怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。